عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۲,۸۰ ثانیه یافت شد.
1. VDM '90 VDM and Z -- Formal Methods in Software Development :
استناد
اطلاعات استناد دهی
BibTex (مخصوص کاربران)
RIS (مخصوص کاربران)
Endnote (مخصوص کاربران)
Refer (مخصوص کاربران)
Mark (مخصوص کتابخانه ها)
پدیدآورنده :
edited by D. Bjørner, C.A.R. Hoare, H. Langmaack.
کتابخانه:
کتابخانه مطالعات اسلامی به زبان های اروپایی
(
قم
)
موضوع :
Computer science.,Logic design.,Software engineering.
رده :
»
1
«
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح